<?php
function estConnecte(){return isset($_SESSION['identifiant']);
}
function connecter($id_utilisateur,$identifiant,$nom,$prenom){
$_SESSION['id_utilisateur']= $id_utilisateur;
$_SESSION['identifiant']= $identifiant;
$_SESSION['nom']= $nom;
$_SESSION['prenom']= $prenom;
}
function deconnecter(){session_destroy();}